Changing Makefile name in line 66 as is in ../ directory for 40x
Created by: Nicolas-Gaudin
##Change makefile name called in another makefile for 40x
Change in l66 of cv32e40x/sim/core/Makefile
include ../Common.mk
into
include ../ExternalRepos.mk
As is in ../ directory