This is so that when an executable is removed and replaced by a placeholder script, a pull, re-build and run now launches the script rather than an out-of-date executable.
This is so that when an executable is removed and replaced by a placeholder script, a pull, re-build and run now launches the script rather than an out-of-date executable.