diff options
Diffstat (limited to 'muse/gen')
-rwxr-xr-x | muse/gen | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -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..." # |