WHY2/build.sh

7 lines
63 B
Bash
Raw Normal View History

2022-03-20 18:12:25 +01:00
#!/bin/sh
make
if [ "$1" == "debug" ]; then
./out/why2
fi