really fix dev/run

1 files changed, 4 insertions, 1 deletions

diff --git a/dev/run b/dev/run
index 2cf48a4dd..100256394 100755
--- a/dev/run
+++ b/dev/run
@@ -199,10 +199,13 @@ def write_config(ctx, node, env):
     etc_src = os.path.join(ctx['rootdir'], "rel", "overlay", "etc")
     etc_tgt = ensure_dir_exists(ctx['devdir'], "lib", node, "etc")
 
-    for fname in glob.glob(os.path.join(etc_src, "*.ini")):
+    for fname in glob.glob(os.path.join(etc_src, "*")):
         base = os.path.basename(fname)
         tgt = os.path.join(etc_tgt, base)
 
+        if os.path.isdir(fname):
+            continue
+
         with open(fname) as handle:
             content = handle.read()