Skip to content

Commit 74e2255

Browse files
committedFeb 7, 2015
configure: Source .config if it exists.
1 parent fcd7c9d commit 74e2255

File tree

2 files changed

+10
-0
lines changed

2 files changed

+10
-0
lines changed
 

‎.gitignore

+1
Original file line numberDiff line numberDiff line change
@@ -3,3 +3,4 @@ dsp
33
*.o
44
*.so
55
config.mk
6+
.config

‎configure

+9
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,17 @@ Options:
1919
--prefix=path (default: $PREFIX)
2020
--bindir=path (default: $BINDIR)
2121
--libdir=path (default: $LIBDIR)
22+
--no-config
2223
--help"
2324

25+
for i in "$@"; do
26+
case "$i" in
27+
--no-config) NO_CONFIG=y ;;
28+
esac
29+
done
30+
31+
[ "$NO_CONFIG" != "y" -a -f ./.config ] && . ./.config
32+
2433
for i in "$@"; do
2534
case "$i" in
2635
--disable-dsp) CONFIG_DISABLE_DSP=y ;;

0 commit comments

Comments
 (0)
Please sign in to comment.