diff options
author | jamborm <jamborm@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-07-04 12:20:26 +0000 |
---|---|---|
committer | jamborm <jamborm@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-07-04 12:20:26 +0000 |
commit | 00bef0b85ebe74fbe519a5d7d1fcac0eea006de0 (patch) | |
tree | fde83a750b20e924657fb5a8fe93f8a95ec01c88 | |
parent | 7676c4c4933e3eeeae7dbb9a7538dedaeaa6a7fe (diff) |
Remove spurious $HOME include from BRIG FE Makefile
2018-07-04 Martin Jambor <mjambor@suse.cz>
PR hsa/86371
* Make-lang.in (BRIGINCLUDES): Remove erroneous include path in $HOME.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-8-branch@262399 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r-- | gcc/brig/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/brig/Make-lang.in | 3 |
2 files changed, 6 insertions, 2 deletions
diff --git a/gcc/brig/ChangeLog b/gcc/brig/ChangeLog index ec46c4900525..60d0aee21188 100644 --- a/gcc/brig/ChangeLog +++ b/gcc/brig/ChangeLog @@ -1,3 +1,8 @@ +2018-07-04 Martin Jambor <mjambor@suse.cz> + + PR hsa/86371 + * Make-lang.in (BRIGINCLUDES): Remove erroneous include path in $HOME. + 2018-05-02 Release Manager * GCC 8.1.0 released. diff --git a/gcc/brig/Make-lang.in b/gcc/brig/Make-lang.in index 151b92d22a01..8799aa78ab2c 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) $< |