diff options
| author | lassulus <lassulus@lassul.us> | 2017-07-18 17:43:39 +0200 |
|---|---|---|
| committer | lassulus <lassulus@lassul.us> | 2017-07-18 17:43:39 +0200 |
| commit | 714cdec79cf457f304207f443f8b72f64a958d8f (patch) | |
| tree | 99a3023fe4a10ae93904b14191d7cae5cd9392a9 /makefu/1systems | |
| parent | 5f743cbd32572a25e0df73b823cd866f1d80f01a (diff) | |
| parent | be49befd5239ab2715992e3103bd71327e5a7310 (diff) | |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/1systems')
| -rw-r--r-- | makefu/1systems/vbob/source.nix | 7 | ||||
| -rw-r--r-- | makefu/1systems/wbob/source.nix | 7 |
2 files changed, 4 insertions, 10 deletions
diff --git a/makefu/1systems/vbob/source.nix b/makefu/1systems/vbob/source.nix index af0f37809..5b726e40b 100644 --- a/makefu/1systems/vbob/source.nix +++ b/makefu/1systems/vbob/source.nix @@ -1,7 +1,4 @@ import <stockholm/makefu/source.nix> { - name="studio"; - override.musnix.git = { - url = https://github.com/musnix/musnix.git; - ref = "d8b989f"; - }; + name="vbob"; + musnix = true; } diff --git a/makefu/1systems/wbob/source.nix b/makefu/1systems/wbob/source.nix index af0f37809..6f079d712 100644 --- a/makefu/1systems/wbob/source.nix +++ b/makefu/1systems/wbob/source.nix @@ -1,7 +1,4 @@ import <stockholm/makefu/source.nix> { - name="studio"; - override.musnix.git = { - url = https://github.com/musnix/musnix.git; - ref = "d8b989f"; - }; + name="wbob"; + musnix = true; } |