|
--- config/config.in.orig 2018-05-17 11:13:21.478570256 +0200
|
|
+++ config/config.in 2018-05-17 11:13:54.000000000 +0200
|
|
@@ -61,7 +61,7 @@
|
|
# VERBOSE=1
|
|
#DEBUG=1
|
|
# PROFILE=gprof
|
|
-#SHARED=2
|
|
+SHARED=2
|
|
|
|
## Directory specific selections which override the above
|
|
|