From 5fac391db35a36868ee4e3a6665fe0c70c98a499 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20Hord=C3=A9?= <nicolas@palon.fr>
Date: Sat, 19 Sep 2020 22:28:34 +0200
Subject: [PATCH] build: correction d'erreur diverses...

---
 README.md | 6 +++---
 makefile  | 2 ++
 menu.sh   | 6 ++++--
 3 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 0c5f034..f7b7c61 100644
--- a/README.md
+++ b/README.md
@@ -92,14 +92,13 @@ Commande de compilation de base
 Autres commandes de compilation de COS2000
 
 * `./make.sh harddisk` compile la version disque dur
-* `./make.sh uefi` compile la version disque dur UEFI
-* `./make.sh bochstest` lance l'émulation BOCHS en 32 bits sur disque dur
+* `./make.sh harddiskuefi` compile la version disque dur UEFI
 * `./make.sh test` lance l'émulation QEMU en 32 bits sur disque dur
 * `./make.sh test64` lance l'émulation QEMU en 64 bits sur disque dur en UEFI
 * `./make.sh clean` supprime les fichers compilés
 * `./make.sh syscall` réactualise les librairies du domaine utilisateur
 * `./make.sh programs` compile les programmes du domaine utilisateur
-* `VESA=no ./make.sh test` préfixe à utiliser (VESA=no) pour faire appel au pilote VGA et non pas VESA
+* `./make.sh config` change la configuration de la compilation
 
 ### Utilisation
 
@@ -167,6 +166,7 @@ Pour l'instant quelques commandes seulement sont disponibles:
 * `lib` - librairies pour le noyau
 * `makefile` - Makefile du projet
 * `make.sh` - Script de compilation utilisant Docker
+* `menu.sh` - Script du menu d'autocompilation
 * `templates` - Modèles utilisés pour générer des libraires du domaine utilisateur
 * `programs` - programmes pour le domaine utilisateur
 * *  `include` - fichier d'entête C
diff --git a/makefile b/makefile
index ba9c9ac..a57c154 100755
--- a/makefile
+++ b/makefile
@@ -83,6 +83,7 @@ togit:
 	$(SYNC)
 
 clean:	
+	$(REMOVE) ./configuration
 	$(REMOVE) ./syscalls.txt
 	$(REMOVE) .gdb_history	
 	$(MAKE) system clean
@@ -191,3 +192,4 @@ config:
 	@echo "Quel mode vidéo préférez vous utiliser ?"
 	@echo "VESA ou VGA [E*/G]"
 	@read line; if [ $$line = "G" ]; then sed -i -r 's/video=.*/video=vga/'  configuration ; else sed -i -r 's/video=.*/video=vesa/'  configuration ; fi
+
diff --git a/menu.sh b/menu.sh
index 66a6d16..3904d1c 100755
--- a/menu.sh
+++ b/menu.sh
@@ -59,7 +59,9 @@ case "${answer}" in
 7*) ./make.sh clean;;
 8*) ./make.sh view-dsk|more;;
 9*) ./make.sh view-sys|more;;
-o*) ./make.sh config;; 
+o*) ./make.sh config
+./make.sh tool
+;; 
 c*) echo "Version disponibles:"
 SELECT=$(git branch|grep "*"|tr -d "* ")
 NUM=1
@@ -83,10 +85,10 @@ else
 fi
 if [ "${CHOOSE}" != "" ]; then
 	echo "*** Application de la version ${CHOOSE}"
-	git pull
 	git checkout $CHOOSE
 	git clean -fd
 	git reset --hard
+	git pull -f
 	./make.sh tool
 fi
 read