define default SHELL interpreter (!354) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/eroom1966/master into master Nov 10, 2020

Created by: eroom1966

This pull request defines the default SHELL interpreter in make as /bin/bash the standard default is /bin/sh unfortunately ubuntu uses a symbolic link from /bin/sh -> /bin/dash The dash shell is not compatible at running some of the interpreter commands in the Makefiles

define default SHELL interpreter

Merge request reports