diff --git a/script/create-single-header.sh b/script/create-single-header.sh index 77b64e05dd07..152e6cb15b04 100755 --- a/script/create-single-header.sh +++ b/script/create-single-header.sh @@ -4,6 +4,6 @@ workingcopy_dir="$( cd -- "$( dirname -- "${BASH_SOURCE[0]:-$0}"; )" &> /dev/nul dst=${1:-$workingcopy_dir/single-header/include/alpaka/alpaka.hpp} tmp_dir=$(mktemp -d) git clone https://github.com/shrpnsld/amalgamate.git --depth 1 $tmp_dir/clone -$tmp_dir/clone/amalgamate -o $tmp_dir -H -v -a -n 'alpaka' -I $workingcopy_dir/include -- $workingcopy_dir/include/alpaka/alpaka.hpp +$tmp_dir/clone/amalgamate -o $tmp_dir -v -a -n 'alpaka' -I $workingcopy_dir/include -- $workingcopy_dir/include/alpaka/alpaka.hpp mv $tmp_dir/alpaka-amalgamated/alpaka.hpp $dst rm -rf $tmp_dir