mirror of
https://github.com/whowechina/popn_pico.git
synced 2025-03-03 16:43:49 +01:00
11 lines
250 B
Bash
11 lines
250 B
Bash
#!/bin/bash
|
|
make compile-verify > /dev/null
|
|
if [ $? -ne 0 ]
|
|
then
|
|
echo "Note: Compiled files outdated, recompiling and committing."
|
|
make compile
|
|
git add agg-kicad.lib
|
|
git add agg-kicad.pro
|
|
git commit -m "Rebuild compiled files"
|
|
fi
|