1 files changed, 3 insertions, 0 deletions

diff --git a/muse/gen b/muse/gen
index 14b9f33f..afa57d5c 100755
--- a/muse/gen
+++ b/muse/gen
@@ -21,6 +21,9 @@ if test ! -d build;
       cd build
    fi
 
+# ahem... hack
+cp ../all.h .
+
 echo "+start top level make..."
 make