mirror of
https://github.com/brmlab/povoden.git
synced 2025-06-08 18:24:00 +02:00
8 lines
84 B
Bash
Executable file
8 lines
84 B
Bash
Executable file
#!/bin/sh
|
|
if make refresh ; then
|
|
make clean
|
|
make
|
|
echo OK
|
|
else
|
|
echo ERROR
|
|
fi
|