path: root/launcher.sh

#!/bin/bash
exec /opt/revng/revng "$@"