Add --nowrf option to configure script, for configuring without WRF175/head
[WPS.git] / arch / 
tree9072379d3571e8eed9cc35bc7211ba894e1da559
drwxr-xr-x   ..
-rw-r--r-- 12250 Config.pl
-rw-r--r-- 33187 configure.defaults
-rwxr-xr-x 240 fixlinks
-rw-r--r-- 471 postamble
-rw-r--r-- 1935 preamble
-rw-r--r-- 88 sourceme_windows.bash
-rw-r--r-- 88 sourceme_windows.csh
-rwxr-xr-x 157 zaplinks