X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=platforms%2FHakefile;h=090b34d80ae5aad4f0826cec08e7dd307e87458a;hp=670495223e8dff1fcb6d81cd514da0fbe930d7e6;hb=861068a86271f35bcaa8f34d645468819e4def6c;hpb=b9de90a5f7427574e175b39c1cea594ddf66eb4d

diff --git a/platforms/Hakefile b/platforms/Hakefile
index 6704952..090b34d 100644
--- a/platforms/Hakefile
+++ b/platforms/Hakefile
@@ -201,7 +201,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                            "webserver",
                            "xeon_phi",
                            "xeon_phi_mgr"
-                           ]] ++ modules_generic
+                           ]]
     
     -- the following are broken in the newidc system
     modules_x86_64_broken  = [ "/sbin/" ++ f | f <- [ 
@@ -297,27 +297,38 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
    --
    
     platform "X86_64_Basic" [ "x86_64" ]
-      [ ("x86_64", f) | f <- modules_x86_64 ]
+      ([ ("x86_64", f) | f <- modules_x86_64 ] ++
+       [ ("",       f) | f <- modules_generic])
       "Basic 64-bit x86 PC build",
 
     platform "X86_64_Benchmarks" [ "x86_64" ]
-      [ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64]
+      ([ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64]
+       ++
+       [ ("",       f) | f <- modules_generic])
       "64-bit x86 PC build with benchmarks",
 
     platform "X86_64_Full" [ "x86_64" ]
-      [ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64 ++ tests_x86_64 ]
+      ([ ("x86_64", f) | f <- modules_x86_64 ++ bench_x86_64 ++ tests_x86_64 ]
+       ++
+       [ ("",       f) | f <- modules_generic])
       "64-bit x86 PC build with benchmarks and test suites",
 
     platform "X86_32_Basic" [ "x86_32" ]
-      [ ("x86_32", f) | f <- modules_x86_32 ]
+      ([ ("x86_32", f) | f <- modules_x86_32 ]
+       ++
+       [ ("",       f) | f <- modules_generic])
       "Basic 32-bit x86 PC build",
 
     platform "X86_32_Benchmarks" [ "x86_32" ]
-      [ ("x86_32", f) | f <- modules_x86_32 ++ bench_x86_32]
+      ([ ("x86_32", f) | f <- modules_x86_32 ++ bench_x86_32]
+       ++
+       [ ("",       f) | f <- modules_generic])
       "32-bit x86 PC build with benchmarks",
 
     platform "X86_32_Full" [ "x86_32" ]
-      [ ("x86_32", f) | f <- modules_x86_32 ++ bench_x86_32 ++ tests_x86_32 ]
+      ([ ("x86_32", f) | f <- modules_x86_32 ++ bench_x86_32 ++ tests_x86_32 ]
+       ++
+       [ ("",       f) | f <- modules_generic])
       "32-bit x86 PC build with benchmarks and test suites",
 
     platform "PandaboardES" [ "armv7" ]