Allow passing options to genps.pl from the user command line
commitb6469d3a8478cbe1a644e8c4c02262513b814dee
authorH. Peter Anvin <hpa@zytor.com>
Sat, 25 May 2002 22:21:27 +0000 (25 22:21 +0000)
committerH. Peter Anvin <hpa@zytor.com>
Sat, 25 May 2002 22:21:27 +0000 (25 22:21 +0000)
tree3df4a7335799bfc080341f3ecdbb41e535b05bfb
parent64fee5a6c8b3fda8e54eb61c547bc0c32acee96f
Allow passing options to genps.pl from the user command line
doc/genpsdriver.pl