blob: acadc4c916d590b156dd918ca7939ef576ae1816 [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 "$@"