summaryrefslogtreecommitdiff
path: root/muse/gen
diff options
context:
space:
mode:
Diffstat (limited to 'muse/gen')
-rwxr-xr-xmuse/gen4
1 files changed, 1 insertions, 3 deletions
diff --git a/muse/gen b/muse/gen
index 6bffe0b4..d702ac0f 100755
--- a/muse/gen
+++ b/muse/gen
@@ -14,12 +14,10 @@ if test ! -d build;
echo "+calling cmake"
cmake ..
else
+ echo "+entering build directory"
cd build
fi
-# ahem... hack
-cp ../all.h .
-
echo "+start top level make..."
#