From f41be41e376dfd521881ad2e6137360e549777de Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Fri, 1 Feb 2019 18:30:02 +0000 Subject: Group name is now part of the local configuration Until now, the group name to build the project actually went into the Git source of the project! This doesn't allow exact reproducibility on different machines (where the group name may be different). With this commit, the `for-group' script has been modified to accept the group name as its first argument and pass that onto `configure' and Make. This is much better now, because not only the existance of a group installation is checked, but also the name of the group. It also made things simpler (in particular in `LOCAL.mk.in'). --- .file-metadata | Bin 3714 -> 3666 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to '.file-metadata') diff --git a/.file-metadata b/.file-metadata index 579bf99..11686e3 100644 Binary files a/.file-metadata and b/.file-metadata differ -- cgit v1.2.1