mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
14 lines
203 B
Bash
Executable File
14 lines
203 B
Bash
Executable File
#!/bin/sh
|
|
|
|
rm -rf build
|
|
mkdir build
|
|
cd build || exit 1
|
|
|
|
cmake -DCMAKE_BUILD_TYPE=Release .. || exit 2
|
|
|
|
make VERBOSE=1 || exit 3
|
|
|
|
if [ "$1" = "install" ]; then
|
|
make install/strip VERBOSE=1 || exit 4
|
|
fi
|