diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-01 12:57:10 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-08-01 12:57:10 +0100 |
commit | baa62b742c00e47d1f44a205e935ab33e0d302aa (patch) | |
tree | 6393c6a2350575bd517cb434a7c3a546806df421 /reproduce/software | |
parent | 025dee1276a39e447042cc52fd91ed001d9047d6 (diff) |
Typo in previous commit corrected
After making the previous commit, I noticed an extra line (redundantly
defining a wrong `BASH_ENV') that should have been deleted. It has been
corrected.
Diffstat (limited to 'reproduce/software')
-rw-r--r-- | reproduce/software/make/basic.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/reproduce/software/make/basic.mk b/reproduce/software/make/basic.mk index d1c9fa1..53dbfa9 100644 --- a/reproduce/software/make/basic.mk +++ b/reproduce/software/make/basic.mk @@ -54,7 +54,6 @@ syspath := $(PATH) # and libraries, not the host's. export CCACHE_DISABLE := 1 export PATH := $(ibdir):$(PATH) -export BASH_ENV = $(BDIR)/.bashrc export PKG_CONFIG_PATH := $(ildir)/pkgconfig export PKG_CONFIG_LIBDIR := $(ildir)/pkgconfig export CPPFLAGS := -I$(idir)/include $(CPPFLAGS) |