From 8d666a5afd470511049ed1e60e382117b7dc4335 Mon Sep 17 00:00:00 2001 From: Mike Swanson Date: Sun, 28 Sep 2014 00:48:16 -0700 Subject: [PATCH] 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. --- dist/freedoom | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist/freedoom b/dist/freedoom index 0e956e84..39b77143 100755 --- a/dist/freedoom +++ b/dist/freedoom @@ -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