summaryrefslogtreecommitdiff
path: root/main.c
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 /main.c
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 ...
Diffstat (limited to 'main.c')
-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) {