install script

GATB · Mar 23, 2016 · 1ddb8e0 · 1ddb8e0
1 parent 67060b6
commit 1ddb8e0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/INSTALL b/INSTALL
@@ -12,9 +12,9 @@ cd build
 # Prepare the makefile
 cmake -DMAJOR=1 -DMINOR=0 -DPATCH=0 ..
 # Run the newly created makefile:
-make
+make -j 4
 # Copy the created binaries in directory:
-cp leon ../
+cp ./bin/leon ../
 # Go back at the installation root directory
 cd ..
 #toy example