diff options
Diffstat (limited to 'build/make.sh')
-rwxr-xr-x | build/make.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/build/make.sh b/build/make.sh deleted file mode 100755 index 9888f1e..0000000 --- a/build/make.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash - -# call cmake with right folder -cmake ../vmchooser/ - -# call GNU make -make |