File indexing completed on 2024-04-28 04:03:13

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