blob: 7254c9fe025907a5558981bf944ce5fcdf90d077 [file] [log] [blame]
#!/bin/bash
bin=$(basename "$0")
dir=$(realpath -s $(dirname $(realpath "$0"))/../usr/bin)
#echo cd "$(pwd)" "&&" "$0" -D_GLIBCXX_USE_CXX11_ABI=0 "$@" >> /tmp/commands
$dir/$bin -D_GLIBCXX_USE_CXX11_ABI=0 "$@"