This repository has been archived on 2020-05-10. You can view files and clone it, but cannot push or open issues or pull requests.
2018-01-13 00:34:16 +01:00
|
|
|
#!/bin/sh
|
2018-03-01 06:21:40 +01:00
|
|
|
|
2018-01-13 00:34:16 +01:00
|
|
|
mkdir -p build && \
|
2018-03-01 06:21:40 +01:00
|
|
|
cd build/ && \
|
2018-01-13 00:34:16 +01:00
|
|
|
cmake .. && \
|
|
|
|
make
|
|
|
|
|
|
|
|
if [ "$(basename ${PWD})" == "build" ]; then
|
|
|
|
cd ..
|
|
|
|
fi
|