diff mbox series

[PR,86371] Remove spurious $HOME include from BRIG FE Makefile

Message ID ri6muv7gr87.fsf@suse.cz
State New
Headers show
Series [PR,86371] Remove spurious $HOME include from BRIG FE Makefile | expand

Commit Message

Martin Jambor July 4, 2018, 11:44 a.m. UTC 
Hi,

a spurious include directory from $HOME slipped into a BRIG FE Makefile.
I've bootstrapped and tested the following fix, which I am going to
commit in a few moments.

Martin



2018-07-04  Martin Jambor  <mjambor@suse.cz>

	PR hsa/86371
	* Make-lang.in (BRIGINCLUDES): Remove erroneous include path in $HOME.
diff mbox series

Patch

diff --git a/gcc/brig/Make-lang.in b/gcc/brig/Make-lang.in
index 151b92d..8799aa7 100644
--- a/gcc/brig/Make-lang.in
+++ b/gcc/brig/Make-lang.in
@@ -239,8 +239,7 @@  brig.stagefeedback: stagefeedback-start
 CFLAGS-brig/brig-lang.o += -DDEFAULT_TARGET_VERSION=\"$(version)\" \
 	-DDEFAULT_TARGET_MACHINE=\"$(target_noncanonical)\"
 
-BRIGINCLUDES = -I $(srcdir)/brig -I ${HOME}/local/include \
-	-I $(srcdir)/brig/brigfrontend
+BRIGINCLUDES = -I $(srcdir)/brig -I $(srcdir)/brig/brigfrontend
 
 brig/brig-machine.o: brig/brigfrontend/brig-machine.c
 	$(COMPILE) $(BRIGINCLUDES) $<