The piler binaries paths in config.php should honor the ./configure options
Signed-off-by: Janos SUTO <sj@acts.hu>
1 parent 99a4bf4 commit ca7c65b84a50c45cdf2209466962c1056a74dc02
@Janos SUTO Janos SUTO authored on 5 Jan 2021
Showing 2 changed files
View
Makefile.in
View
config.php.in