Delete build.sh

This commit is contained in:
Šebestíček 2022-03-20 16:16:54 +01:00 committed by GitHub
parent cf533ef88c
commit 67befd2797
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +0,0 @@
#!/bin/sh
make
if [ "$1" == "debug" ]; then
./out/why2
fi