From 0cd907e183989c0a35a9acf58df511e4f4f22329 Mon Sep 17 00:00:00 2001 From: Giulio De Pasquale Date: Tue, 6 Jun 2017 11:28:43 +0200 Subject: [PATCH] Aggiunto strip in create_files --- polictf/create_files.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/polictf/create_files.sh b/polictf/create_files.sh index 9ea4aba..b21b58b 100755 --- a/polictf/create_files.sh +++ b/polictf/create_files.sh @@ -16,4 +16,7 @@ g++ ./client/pasticciotto_client.cpp ../vm/vm.cpp ../vm/vmas.cpp -o ./$OUT_DIREC # debug versions g++ ./server/pasticciotto_server.cpp ../vm/vm.cpp ../vm/vmas.cpp -DDBG -o ./$OUT_DIRECTORY/server-debug.elf -g++ ./client/pasticciotto_client.cpp ../vm/vm.cpp ../vm/vmas.cpp -DDBG -o ./$OUT_DIRECTORY/client-debug.elf \ No newline at end of file +g++ ./client/pasticciotto_client.cpp ../vm/vm.cpp ../vm/vmas.cpp -DDBG -o ./$OUT_DIRECTORY/client-debug.elf + +# stripping symbols +strip -s $OUT_DIRECTORY/*