diff --git a/configure b/configure index bb34d4b..f7195c5 100755 --- a/configure +++ b/configure @@ -10,6 +10,7 @@ sourcepath=$(dirname "$(readlink -f "$0")") cd "$sourcepath" cd tools +ls -l ./searchspaceconvert.py cd ..