ag: paulchen init

[uebersetzerbau-ss10.git] / scanner / Makefile

diff --git a/scanner/Makefile b/scanner/Makefile
index 50a3dddcd3f153d71c95cde442f5f7c066d0e387..8bcdabf31a059ececd12f63853196022d70c13d7 100755 (executable)
--- a/scanner/Makefile
+++ b/scanner/Makefile
@@ -1,3 +1,4 @@
+SHELL := bash
 NAME := scanner
 all: $(NAME)