diff options
| author | Michele Calgaro <[email protected]> | 2023-07-22 23:49:12 +0900 |
|---|---|---|
| committer | Michele Calgaro <[email protected]> | 2023-07-22 23:49:12 +0900 |
| commit | 28a5e3a6b506535a9c16339544619abae01aedd4 (patch) | |
| tree | 5101935490b4543823a89f0e9c5074b76f9428d7 /admin/configure.in.bot.end | |
| parent | 3b8c44efa380ea0840e94aca67ca4327a7f0bf9a (diff) | |
| download | kommando-28a5e3a6b506535a9c16339544619abae01aedd4.tar.gz kommando-28a5e3a6b506535a9c16339544619abae01aedd4.zip | |
Clean up automake stuff
Signed-off-by: Michele Calgaro <[email protected]>
Diffstat (limited to 'admin/configure.in.bot.end')
| -rw-r--r-- | admin/configure.in.bot.end | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/admin/configure.in.bot.end b/admin/configure.in.bot.end deleted file mode 100644 index 5207270..0000000 --- a/admin/configure.in.bot.end +++ /dev/null @@ -1,30 +0,0 @@ -# Check if KDE_SET_PREFIX was called, and --prefix was passed to configure -if test -n "$kde_libs_prefix" -a -n "$given_prefix"; then - # And if so, warn when they don't match - if test "$kde_libs_prefix" != "$given_prefix"; then - # And if kde doesn't know about the prefix yet - echo ":"`tde-config --path exe`":" | grep ":$given_prefix/bin/:" 2>&1 >/dev/null - if test $? -ne 0; then - echo "" - echo "Warning: you chose to install this package in $given_prefix," - echo "but KDE was found in $kde_libs_prefix." - echo "For this to work, you will need to tell KDE about the new prefix, by ensuring" - echo "that TDEDIRS contains it, e.g. export TDEDIRS=$given_prefix:$kde_libs_prefix" - echo "Then restart KDE." - echo "" - fi - fi -fi - -if test "$all_tests" = "bad"; then - if test ! "$cache_file" = "/dev/null"; then - echo "" - echo "Please remove the file $cache_file after changing your setup" - echo "so that configure will find the changes next time." - echo "" - fi -else - echo "" - echo "Good - your configure finished. Start make now" - echo "" -fi |