diff options
-rw-r--r-- | ChangeLog | 8 | ||||
-rwxr-xr-x | configure | 4 |
2 files changed, 10 insertions, 2 deletions
@@ -1,3 +1,11 @@ +2010-10-05 Werner Lemberg <wl@gnu.org> + + Fix Savannah bug #31253. + Patch submitted by an anonymous reporter. + + * configure: Use `awk' instead of `sed' to manipulate output of `ls + -id'. + 2010-10-03 Werner Lemberg <wl@gnu.org> * Version 2.4.3 released. @@ -80,8 +80,8 @@ fi # build a dummy Makefile if we are not building in the source tree; # we use inodes to avoid issues with symbolic links -inode_src=`ls -id $abs_ft2_dir | sed 's/ .*//'` -inode_dst=`ls -id $abs_curr_dir | sed 's/ .*//'` +inode_src=`ls -id $abs_ft2_dir | awk '{print $1}'` +inode_dst=`ls -id $abs_curr_dir | awk '{print $1}'` if test $inode_src -ne $inode_dst; then if test ! -d reference; then |