diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,9 +1,9 @@ -if [[ "$1" == "Linux" ]]; then +if [[ "$1" == "linux" ]]; then cp os/linux/Makefile ./ -elif [[ "$1" == "Windows" ]]; then +elif [[ "$1" == "windows" ]]; then cp os/windows/Makefile ./ else - echo "Error! No os specified" + echo "Error! Please use an os in the os folder (not debian)" exit 1 fi exit 0 |
