dist: Add boom/doom in the exec script's PORTS list

These are generic names used by at least Debian to allow users to
specify their favored port with the package manager.  They can be used
as another mode of preference with the script.
This commit is contained in:
Mike Swanson 2014-09-28 00:48:16 -07:00
parent 581025694c
commit 8d666a5afd

2
dist/freedoom vendored
View file

@ -4,7 +4,7 @@
# advanced users with many ports installed will invoke their preferred
# one directly rather than depend on this script...
PORTS="odamex prboom-plus prboom eternity gzdoom zdoom chocolate-doom"
PORTS="boom doom odamex prboom-plus prboom eternity gzdoom zdoom chocolate-doom"
# Just a single argument starting the command is allowed, -p, in order
# to explicitly set a port on the command line. -- is also supported