[Commit-gnuradio] r9971 - gnuradio/branches/developers/jcorgan/deb-wip/debian

[jcorgan]

Author: jcorgan
Date: 2008-11-11 08:54:42 -0700 (Tue, 11 Nov 2008)
New Revision: 9971

Modified:
   gnuradio/branches/developers/jcorgan/deb-wip/debian/gen-install-files.sh
Log:
Fix firmware filenames in gr-gpio package

Modified: 
gnuradio/branches/developers/jcorgan/deb-wip/debian/gen-install-files.sh
===================================================================
--- gnuradio/branches/developers/jcorgan/deb-wip/debian/gen-install-files.sh    
2008-11-11 15:51:23 UTC (rev 9970)
+++ gnuradio/branches/developers/jcorgan/deb-wip/debian/gen-install-files.sh    
2008-11-11 15:54:42 UTC (rev 9971)
@@ -250,6 +250,8 @@
 $EXTRACT gr-gpio/src/lib/Makefile ourlib_LTLIBRARIES |
     sed -e 's/\.la$/.so/' >>$NAME
 echo usr/share/usrp/rev2/std_2rxhb_2tx_dig.rbf >> $NAME
+echo usr/share/usrp/rev2/std_2rxint_2tx_dig.rbf >> $NAME
+echo usr/share/usrp/rev4/std_2rxhb_2tx_dig.rbf >> $NAME
 echo usr/share/usrp/rev4/std_2rxint_2tx_dig.rbf >> $NAME
 
 # gnuradio-pager