diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-06 22:45:13 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-06 22:45:13 (EST) |
| commit | f7b7d6bbc998a305200a61c0108227acab0d7bef (patch) | |
| tree | cc169f0161adce63b7b9a5756ecf8dcc159cc540 | |
| parent | ea1cca06bb9fad1eaa0ffdf169d3bff8adbc1fad (diff) | |
use(): Render useless
Get it?
| -rw-r--r-- | src/prokit.sh | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/src/prokit.sh b/src/prokit.sh index 8b45dcb..e17aa9c 100644 --- a/src/prokit.sh +++ b/src/prokit.sh @@ -45,22 +45,7 @@ fi # use() must be defined inline so it can be used to load other modules. use() { - local module="${1}" - local dir= - - if ${in_place}; then - dir="${builddir}/lib" - else - dir="${PKGDATADIR}" - fi - - if [ -f "${dir}/${module}.sm" ]; then - . "${dir}/${module}.sm" - else - printf '%s: Error: Failed to load module "%s": %s\n' \ - "${0##*/}" "${module}" 'no such file or directory' >&2 - exit 2 - fi + : Stub to be removed. } use locale |