+ if [ $port = "os2" ] || [ $port = "all" ]; then
+ filelist="$filelist os2.rsp"
+ fi
+
+ if [ $port = "x11" ] || [ $port = "all" ]; then
+ filelist="$filelist x11.rsp"
+ fi
+
+ if [ $port = "mgl" ] || [ $port = "all" ]; then
+ filelist="$filelist mgl.rsp"
+ fi
+
+ if [ $port = "gtk" ] || [ $port = "all" ]; then
+ filelist="$filelist gtk.rsp"
+ fi
+
+ if [ $port = "cocoa" ] || [ $port = "all" ]; then
+ filelist="$filelist cocoa.rsp"
+ fi
+
+ if [ $port = "motif" ] || [ $port = "all" ]; then
+ filelist="$filelist motif.rsp"
+ fi
+
+ if [ $port = "mac" ] || [ $port = "all" ]; then
+ filelist="$filelist mac.rsp"