+flexlm_files="flexlm"
+
+if (echo $* | grep keep\-cygnus > /dev/null); then
+ keep_these_too="${keep_these_too} ${flexlm_files}"
+ test -n "$verbose" && echo Keeping ${flexlm_files}
+else
+ lose_these_too="${lose_these_too} ${flexlm_files}"
+fi
+
+# CGEN files:
+# It is not yet clear if the cgen package will be shipped with the
+# simulators.
+cgen_files="cgen"
+
+if (echo $* | grep keep\-cgen > /dev/null); then
+ keep_these_too="${keep_these_too} ${cgen_files}"
+else
+ lose_these_too="${lose_these_too} ${cgen_files}"
+fi