From 879a4a0bcd7da0b19ca5fd89af52187d88f401a0 Mon Sep 17 00:00:00 2001
From: Amirali Sharifian <am.sharifian@gmail.com>
Date: Mon, 6 Apr 2015 15:05:43 -0700
Subject: [PATCH] Update Makefile

Change default shell to bash shell.
---
 emulator/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/emulator/Makefile b/emulator/Makefile
index 7a3c863c..64d397a5 100644
--- a/emulator/Makefile
+++ b/emulator/Makefile
@@ -3,6 +3,8 @@ sim_dir = .
 output_dir = $(sim_dir)/output
 PROJECT = rocketchip
 CONFIG ?= DefaultCPPConfig
+SHELL=/bin/bash
+
 
 all: emulator-$(CONFIG)
 debug: emulator-$(CONFIG)-debug