diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2009-11-04 15:25:57 -0800 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2009-11-04 15:25:57 -0800 |
| commit | b1ab24be6d664a82fadf406853803b0190fa74fa (patch) | |
| tree | 667086647bbdbd289cf9962fb4b0b8706250e526 | |
| parent | 60fc93f668e00b8723b6ad2c9f0c683433324011 (diff) | |
| download | txr-b1ab24be6d664a82fadf406853803b0190fa74fa.tar.gz txr-b1ab24be6d664a82fadf406853803b0190fa74fa.tar.bz2 txr-b1ab24be6d664a82fadf406853803b0190fa74fa.zip | |
Don't lie to the user; make install doesn't work without
permissions to the installation directories.
| -rwxr-xr-x | configure | 16 |
1 files changed, 14 insertions, 2 deletions
@@ -460,5 +460,17 @@ TXR_DBG_OPTS := $txr_dbg_opts # # Parting message# # -printf "Configuration seems to have been successful.\n" -printf "Now \"make install\".\n" +cat <<! +Configuration seems to have been successful. The next +step is one of these two. + +Method 1: if you have permissions to the installation directories: + make install + +Method 2: if you have to or want to be another user such as root to install: + make + su <userid> + (give password, if asked) + make install + +! |