mirror of
https://github.com/brmlab/povoden.git
synced 2025-12-16 20:04:00 +01: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
|