| commit | 8d9c7e37c95da12bcff0e1ba21a45d3efb8b9041 | [log] [tgz] |
|---|---|---|
| author | Lucas De Marchi <[email protected]> | Tue Jan 02 18:17:51 2018 -0800 |
| committer | Lucas De Marchi <[email protected]> | Tue Jan 02 18:17:51 2018 -0800 |
| tree | 583bdcff2908bfbf6849b82093a19aa01bc41f1b | |
| parent | cc71e0a589fd6ca3f40137ff5b21675684172c9b [diff] [blame] |
build: use tool from configure This way we make sure the tool will be the one we actually configured before going through sudo.
diff --git a/configure.ac b/configure.ac index ca94bf8..932e87d 100644 --- a/configure.ac +++ b/configure.ac
@@ -31,6 +31,7 @@ AC_PROG_LN_S PKG_PROG_PKG_CONFIG AC_PATH_PROG([XSLTPROC], [xsltproc]) +AC_PATH_PROG([MKOSI], [mkosi]) AC_PROG_CC_C99