Index: xotcl/library/lib/changeXOTclVersion.xotcl =================================================================== diff -u -r464284f53643031115e4da0204025a733675ad60 -rab63a4908f87f226de9730e0afa820388c93acc4 --- xotcl/library/lib/changeXOTclVersion.xotcl (.../changeXOTclVersion.xotcl) (revision 464284f53643031115e4da0204025a733675ad60) +++ xotcl/library/lib/changeXOTclVersion.xotcl (.../changeXOTclVersion.xotcl) (revision ab63a4908f87f226de9730e0afa820388c93acc4) @@ -6,7 +6,7 @@ # set XOTCL_MAJOR_VERSION 1 set XOTCL_MINOR_VERSION 3 -set XOTCL_RELEASE_LEVEL .1 +set XOTCL_RELEASE_LEVEL .3 # example settings: # 1.0 @@ -81,14 +81,14 @@ # determine last configure command cd $newtopdirname -if {[catch {set configurecmd [exec fgrep {$ ./configure} unix/config.log]}]} { +if {[catch {set configurecmd [exec fgrep {$ ./configure} config.log]}]} { set configurecmd "./configure" } else { regsub {^ +\$ } $configurecmd "" configurecmd } #puts $configurecmd -cd $newtopdirname/unix +cd $newtopdirname/ puts "Configuring in [pwd]" eval exec $configurecmd