del: remaining of infra-keys

[nre.git] / collectGigiConfig

diff --git a/collectGigiConfig b/collectGigiConfig
index bc769f5210e025fc983e3150a0e34f3c9a822385..241a2cdab3a3cb9d6e050492a556baad201423cd 100755 (executable)
--- a/collectGigiConfig
+++ b/collectGigiConfig
@@ -11,7 +11,6 @@ mkdir -p gigi-config/config/ca
 cp root.ca/key.crt gigi-config/config/ca/root.crt
 for ca in $STRUCT_CAS; do
     cp ${ca}.ca/key.crt gigi-config/config/ca/${ca}.crt
-    [ "$ca" == "env" ] && continue
     for i in $TIME_IDX; do
         cp ${year}/ca/${ca}_${year}_${i}.crt gigi-config/config/ca/${ca}_${year}_${i}.crt
     done