|  | @@ -69,8 +69,10 @@ bootstrap_post_pull_hook() {
 | 
											
												
													
														|  |  PAXUTILS=paxutils
 |  |  PAXUTILS=paxutils
 | 
											
												
													
														|  |  
 |  |  
 | 
											
												
													
														|  |  # gnulib modules used by this package.
 |  |  # gnulib modules used by this package.
 | 
											
												
													
														|  | 
 |  | +# getopt-gnu is for paxutils.
 | 
											
												
													
														|  |  gnulib_modules="$avoided_gnulib_modules
 |  |  gnulib_modules="$avoided_gnulib_modules
 | 
											
												
													
														|  | -`grep -h '^[^#]' gnulib.modules $PAXUTILS/gnulib.modules`
 |  | 
 | 
											
												
													
														|  | 
 |  | +`grep -h '^[^#]' gnulib.modules`
 | 
											
												
													
														|  | 
 |  | +getopt-gnu
 | 
											
												
													
														|  |  "
 |  |  "
 | 
											
												
													
														|  |  
 |  |  
 | 
											
												
													
														|  |  # copy_files srcdir dstdir
 |  |  # copy_files srcdir dstdir
 |