build: correction d'erreur diverses...

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

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
+

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