From 1cede5f62e91a0e79fc8ad8c6f32605894f11bec Mon Sep 17 00:00:00 2001 From: Alcaro Date: Sun, 29 Oct 2017 10:54:04 +0100 Subject: [PATCH] Let's make clear what it's doing --- make.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/make.sh b/make.sh index d840560..62c00a9 100755 --- 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