diff --git a/Benchmark/src/Benchmark/makefile b/Benchmark/src/Benchmark/makefile
index 6976388f954..194ecd50047 100644
--- a/Benchmark/src/Benchmark/makefile
+++ b/Benchmark/src/Benchmark/makefile
@@ -57,7 +57,7 @@ clean:
 
 %.C %.h : %.y
 	$(BISON) -d $< -o $*.C
-ifeq ($(OSTYPE), linux)
+ifeq (linux, $(findstring linux,$(OSTYPE)))
 	mv $*.H $*.h
 endif