File indexing completed on 2024-05-05 08:06:50

0001 #!/bin/bash
0002 
0003 if ! [ -d build_debug ]; then
0004         mkdir build_debug
0005 fi
0006 
0007 cd build_debug
0008 
0009 cmake .. -DCMAKE_BUILD_TYPE=DebugFull -DCMAKE_INSTALL_PREFIX=/usr && make -j 4