upatet code to use latest kerep version

This commit is contained in:
2022-09-09 23:20:46 +06:00
parent fb88ef9de3
commit a5a20f07ec
9 changed files with 35 additions and 21 deletions

View File

@@ -1,7 +1,7 @@
#!/bin/bash
cd kerep
make $KEREP_BUILD_TARGET
make $KEREP_BUILD_TASK
cp bin/kerep.a ../obj/
printf "${GREEN}copied ${CYAN}kerep.a\n"
cd ..