diff --git a/share/trick/makefiles/config_user.mk.in b/share/trick/makefiles/config_user.mk.in index 629aa3b2..58605163 100644 --- a/share/trick/makefiles/config_user.mk.in +++ b/share/trick/makefiles/config_user.mk.in @@ -11,8 +11,8 @@ JAVAC = @JAVA_CC@ CLANG = @CLANG@ PYTHON_INCLUDES = @PYTHON_CPPFLAGS@ -PYTHON_LIB = @PYTHON_LIBS@ -# @PYTHON_EXTRA_LDFLAGS@ @PYTHON_EXTRA_LIBS@ +PYTHON_LIB = @PYTHON_LIBS@ @PYTHON_EXTRA_LDFLAGS@ +# @PYTHON_EXTRA_LIBS@ PTHREAD_CFLAGS = @PTHREAD_CFLAGS@ PTHREAD_LIBS = @PTHREAD_LIBS@