Let's make clear what it's doing

2026-09-07 10:06:09 -05:00 · 2017-10-29 10:54:04 +01:00
parent d9b2837ca3
commit 1cede5f62e
1 changed files with 1 additions and 0 deletions
--- a/make.sh
+++ b/make.sh
@@ -38,6 +38,7 @@ profile/profile.sh ./flips
 echo 'GTK+ (3/3)'
 rm flips; CFLAGS=$FLAGS' -fprofile-use' make TARGET=gtk LFLAGS=''
 rm *.gcda
+echo mv flips '~/bin/flips'
 mv flips ~/bin/flips # keeping this one for myself

 #echo Finishing