#!/bin/bash
+function abspath()
+{
+ pushd . > /dev/null
+ if [ -d "$1" ]; then
+ cd "$1"
+ dirs -l +0
+ else
+ cd "`dirname \"$1\"`"
+ cur_dir=`dirs -l +0`
+ if [ "$cur_dir" == "/" ]; then
+ echo "$cur_dir`basename \"$1\"`"
+ else
+ echo "$cur_dir/`basename \"$1\"`"
+ fi
+ fi
+ popd > /dev/null
+}
+
## Some configuration variables
number_of_processes="-j4"
comp_type=Debug
echo "$0: Invalid file type."
exit 1
fi
- canonical_path=`readlink -e $1`
+ canonical_path=`abspath $1`
source_dir=`dirname $canonical_path`/`basename $1 .$actual_ext`
build_dir=`dirname $canonical_path`/`basename $1 .$actual_ext`-build
echo -n "Cleaning directories... "
#!/bin/bash
+function abspath()
+{
+ pushd . > /dev/null
+ if [ -d "$1" ]; then
+ cd "$1"
+ dirs -l +0
+ else
+ cd "`dirname \"$1\"`"
+ cur_dir=`dirs -l +0`
+ if [ "$cur_dir" == "/" ]; then
+ echo "$cur_dir`basename \"$1\"`"
+ else
+ echo "$cur_dir/`basename \"$1\"`"
+ fi
+ fi
+ popd > /dev/null
+}
+
## Some configuration variables
number_of_processes="-j4"
comp_type=-debug
echo "$0: Invalid file type."
exit 1
fi
- canonical_path=`readlink -e $1`
+ canonical_path=`abspath $1`
source_dir=`dirname $canonical_path`/`basename $1 .$actual_ext`
build_dir=`dirname $canonical_path`/`basename $1 .$actual_ext`-build
echo -n "Cleaning directories... "
#!/bin/bash
+function abspath()
+{
+ pushd . > /dev/null
+ if [ -d "$1" ]; then
+ cd "$1"
+ dirs -l +0
+ else
+ cd "`dirname \"$1\"`"
+ cur_dir=`dirs -l +0`
+ if [ "$cur_dir" == "/" ]; then
+ echo "$cur_dir`basename \"$1\"`"
+ else
+ echo "$cur_dir/`basename \"$1\"`"
+ fi
+ fi
+ popd > /dev/null
+}
+
## Some configuration variables
number_of_processes="-j4"
comp_type=Debug
echo "$0: Invalid file type."
exit 1
fi
- canonical_path=`readlink -e $1`
+ canonical_path=`abspath $1`
source_dir=`dirname $canonical_path`/`basename $1 .$actual_ext`
build_dir=`dirname $canonical_path`/`basename $1 .$actual_ext`-build
echo -n "Cleaning directories... "