diff --git a/infer/bin/infer b/infer/bin/infer index b4b8bbeea..143c8bb29 100755 --- a/infer/bin/infer +++ b/infer/bin/infer @@ -6,10 +6,10 @@ import inferlib import os import sys -SCRIPT_FOLDER = os.path.dirname(__file__) +SCRIPT_FOLDER = os.path.dirname(os.path.realpath(__file__)) CAPTURE_PACKAGE = 'capture' LIB_FOLDER = os.path.join( - os.path.dirname(__file__), os.path.pardir, 'lib') + os.path.dirname(os.path.realpath(__file__)), os.path.pardir, 'lib') # token that identifies the end of the options for infer and the beginning # of the compilation command