updated cbuild

This commit is contained in:
2023-01-15 22:46:32 +06:00
parent a53b848933
commit a0b0ade535
4 changed files with 11 additions and 8 deletions

View File

@@ -1,7 +1,9 @@
#!/bin/bash
cd kerep
make $KEREP_BUILD_TASK
if [ ! -f "bin/kerep.a" ]; then
exec make "$KEREP_BUILD_TASK"
fi
cp bin/kerep.a ../obj/
printf "${GREEN}copied ${CYAN}kerep.a\n"
cd ..
cd ..