2022-11-24 21:20:04 +01:00
|
|
|
#!/bin/bash
|
2022-11-24 22:20:17 +01:00
|
|
|
echo "compiling $1 ..."
|
2022-11-24 21:20:04 +01:00
|
|
|
noext=$(echo "$1" | cut -f 1 -d '.')
|
2022-11-24 23:00:34 +01:00
|
|
|
|
|
|
|
# to treat warnings as errors, use the following line
|
|
|
|
#gcc $1 -o bin/$noext -lm -Werror=format
|
|
|
|
#
|
2022-11-24 22:20:17 +01:00
|
|
|
gcc $1 -o bin/$noext -lm
|