[m-dev.] diff: undo change to backupdir script

[Robert Ernst Johann JESCHOFNIK]

Hi.

The last change I made to the backupdir script introduced a rather
undesirable bug - changes in a workspace were not detected.. so after the
initial diffs were made, they were never updated.

Oops.



Estimated hours taken: 0.1

tools//backupdir:
	undo previous change that introduced a rather serious bug, causing
	the detection of changes in a workspace to fail.

Index: tools//backupdir
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/backupdir,v
retrieving revision 1.3
diff -u -r1.3 backupdir
--- tools//backupdir	2000/01/27 03:43:20	1.3
+++ tools//backupdir	2000/02/24 22:33:03
@@ -33,7 +33,7 @@
 		 	-exec backuprevisions '{}' ';' | gzip -9 > $revisions)
 	    # If there are changes in the directory since the backup,
 	    # make a new backup.
-	    elif [ x"`find $dir/$subdir -newer $olddiff`" != x ] ; then
+	    elif [ x"`find $dir/$subdir/* -newer $olddiff`" != x ] ; then
 	    	echo "Changes in $dir/$subdir, making new backup"
 		(cd $dir/$subdir; cvs -f diff -u -N . 2> /dev/null |
 		    gzip -9 > $diff)


--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------