diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-04-26 13:19:23 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-04-26 13:19:27 +0200 |
commit | a4078071e0b4d44582407995c81ef6e6a4ced2dc (patch) | |
tree | 87b7ef5aae6bfa75f8db8a0e367aba072b43cd8b | |
parent | 46880ed2fd961c29b5fe4f841c747951bc706912 (diff) | |
parent | 89c844df14046a114bebec959bd9e188bf8ba21b (diff) |
Merge #7944: Re-instate TARGET_OS=linux in configure.ac. Removed by 351abf9e035.
89c844d Re-instate TARGET_OS=linux in configure.ac. Removed by 351abf9e035. (randy-waterhouse)
-rw-r--r-- | configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 03b9052104..100bb79e11 100644 --- a/configure.ac +++ b/configure.ac @@ -354,6 +354,7 @@ case $host in OBJCXXFLAGS="$CXXFLAGS" ;; *linux*) + TARGET_OS=linux LEVELDB_TARGET_FLAGS="-DOS_LINUX" ;; *) |