10 lines
161 B
Bash
Executable File
10 lines
161 B
Bash
Executable File
#!/bin/bash
|
|
|
|
cd kerep
|
|
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 ..
|