Fix grep_xseg to work both with include/exclude
authorAlex Pyrgiotis <apyrgio@grnet.gr>
Mon, 4 Feb 2013 10:29:45 +0000 (12:29 +0200)
committerFilippos Giannakos <philipgian@grnet.gr>
Mon, 11 Mar 2013 09:39:46 +0000 (11:39 +0200)
commitd7640a0de43da823537e20f69b55b7ceca68a82b
treed927443a74baa9688fb41542d8c83ec9d2079a96
parent8e3ab0e204fee6cc8b5d79051461d17a6a2c12a7
Fix grep_xseg to work both with include/exclude
arch-scripts/grep_xseg.sh
arch-scripts/make_xseg.sh