From 160d36fce5d0615fc9bd9b08a987433f18851543 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Fri, 10 Nov 2017 10:34:37 +0100
Subject: [PATCH] Update on README for bin dir

---
 doc/README_bin              | 2 +-
 executablecode/Makefile.src | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/README_bin b/doc/README_bin
index cb3c9aa0d6..0563781a13 100755
--- a/doc/README_bin
+++ b/doc/README_bin
@@ -7,7 +7,7 @@ This directory contain files for starting the TTool's launcher and TTool itself.
 $java -jar launcher.jar
 
 2) start TTool as follows
-$ java -Xmx256m -jar ttool.jar config.xml
+$ java -Xmx256m -jar ttool.jar -config config.xml
 
 Don't forget to correctly configure various settings in your config.xml file.
 
diff --git a/executablecode/Makefile.src b/executablecode/Makefile.src
index fa78915f96..8843c11729 100755
--- a/executablecode/Makefile.src
+++ b/executablecode/Makefile.src
@@ -1 +1 @@
-SRCS = generated_src/main.c generated_src/Wallet.c generated_src/CoffeeMachine.c generated_src/TeaButton.c generated_src/CoffeeButton.c 
\ No newline at end of file
+SRCS = generated_src/main.c generated_src/ObserverProp1.c generated_src/RemotelyControlledMicrowave.c generated_src/MicroWaveOven.c generated_src/Door.c generated_src/Magnetron.c generated_src/Controller.c generated_src/ControlPanel.c generated_src/Bell.c 
\ No newline at end of file
-- 
GitLab