Merge branch 'lect_red' into 'main'

ajout lecteur redacteur See merge request simpleos/burritos!22
2023-05-10 10:32:29 +00:00
parent df0930850a ec2eea05ad
commit a16d92ab7e
3 changed files with 62 additions and 2 deletions
--- a/2
+++ b/2
@ -40,7 +40,7 @@ clean:
 # Demo targets
 #
 halt: syscall
-	${CARGO} -x ./target/guac/halt.guac -d2
+	${CARGO} -x ./target/guac/halt.guac -d3

 pc: syscall
 	${CARGO} -x ./target/guac/producteur_consommateur.guac -d2