summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWerner Almesberger <werner@almesberger.net>2016-08-25 12:16:32 -0300
committerWerner Almesberger <werner@almesberger.net>2016-08-25 12:16:32 -0300
commit58e2928b8d97ba7e0d9fcf8fc3d8fc3c3de72437 (patch)
treeeba038031c680d63ff9b54bba297e77e80d97c85
parentd35ece00b2339bc242b7f01dd49aa08cc00cbd87 (diff)
downloadeeshow-58e2928b8d97ba7e0d9fcf8fc3d8fc3c3de72437.tar.gz
eeshow-58e2928b8d97ba7e0d9fcf8fc3d8fc3c3de72437.tar.bz2
eeshow-58e2928b8d97ba7e0d9fcf8fc3d8fc3c3de72437.zip
main..c (main): make project file "leader" of libs, just like in the GUI
This is mainly for consistency. Not entirely sure which way is "more right". In theory every file could be in a separate repo, with wildly different commit rates, but ...
-rw-r--r--main.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/main.c b/main.c
index 6fa1b92..d4989e1 100644
--- a/main.c
+++ b/main.c
@@ -261,7 +261,8 @@ int main(int argc, char **argv)
lib_init(&lib);
for (i = 0; i != fn->n_libs; i++)
- if (!lib_parse(&lib, fn->libs[i], &sch_file))
+ if (!lib_parse(&lib, fn->libs[i],
+ file_names.pro ? &pro_file : &sch_file))
return 1;
if (fn->pl) {