]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/main.ml
- addead autoconf-iguration. Actually it only set the default runtime
[helm.git] / helm / http_getter / main.ml
index 6a3ec6a0d2c2aec9f83b4efeb62003a3961c3d34..6501afdafb61799a08642c16df98667a1d4eae5c 100644 (file)
@@ -34,8 +34,7 @@ open Http_getter_types
 
   (* constants *)
 
-(* let configuration_file = "/projects/helm/etc/http_getter.conf.xml" *)
-let configuration_file = "http_getter.conf.xml"
+let configuration_file = BuildTimeOpts.conffile
 
 let common_headers = [
   "Cache-Control", "no-cache";