]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/helm_http_getter.spec.in
*** empty log message ***
[helm.git] / helm / http_getter / helm_http_getter.spec.in
index fec43a9dcc7a1cf82cc80c0a34a836b73d0ed75a..dda2b975dc5e9c5421cfd46c44521775aff3a2ad 100644 (file)
@@ -20,8 +20,7 @@ For more information see http://www.cs.unibo.it/helm
 %setup
 
 %build
-cp config.cache.pkg config.cache
-./configure
+./configure --enable-defaults
 make
 
 %install