2022-03-20 18:12:25 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
2022-04-22 18:35:27 +02:00
|
|
|
# Remove versions.json
|
|
|
|
rm -f versions.json
|
|
|
|
|
2022-04-04 17:48:03 +02:00
|
|
|
# Build project
|
2022-03-20 18:12:25 +01:00
|
|
|
make
|
|
|
|
|
2022-04-04 17:48:03 +02:00
|
|
|
# Check for 'debug' flag
|
2022-03-20 18:12:25 +01:00
|
|
|
if [ "$1" == "debug" ]; then
|
|
|
|
./out/why2
|
2022-04-22 18:35:27 +02:00
|
|
|
fi
|