1
#!/bin/sh
2
3
exec $HOME/lib/SmartEiffel/bin/"$@"