repl: fix Makefile (specified libraries are already included) · 52bdab8716 - LOL Git Service

Parcourir la source

repl: fix Makefile (specified libraries are already included)

Manfred Kroehnert il y a 12 ans

Parent

8eee4f9d8a

commit

52bdab8716

1 fichiers modifiés avec 1 ajouts et 1 suppressions

Vue séparée Afficher les stats Diff

						
							+ 1
							
							- 1
						
repl/Makefile
							 
								Voir le fichier
							
				@@ -1,5 +1,5 @@
			
				 repl.js: REPL.st
			
				-	../bin/amberc -m Repl -l Compiler,parser REPL.st amber
			
				+	../bin/amberc -m Repl REPL.st amber
			
				 run: repl.js
			
				 	../bin/amber