From f1121af8d2baf5abc122fce8f7d8c69aadefc916 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 3 Jun 2014 07:38:57 +0100
Subject: [PATCH] tests: remove "gui" lock declarations

The fresh PLTUSERHOME created by `raco test --drdr` should avoid
the problems that made the lock necessary before.

original commit: 165f21a192f28746519c21cfd3b079ac73ff1b84
---
 .../mrlib/private/aligned-pasteboard/tests/actual-bigger.rkt  | 4 ----
 .../mrlib/private/aligned-pasteboard/tests/test-snip-lib.rkt  | 4 ----
 .../gui-lib/mrlib/private/aligned-pasteboard/tests/test.rkt   | 4 ----
 .../gui-lib/mrlib/private/aligned-pasteboard/tests/test2.rkt  | 4 ----
 pkgs/gui-pkgs/gui-test/framework/tests/main.rkt               | 1 -
 5 files changed, 17 deletions(-)

diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/actual-bigger.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/actual-bigger.rkt
index ecead3ae..7c767553 100644
--- a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/actual-bigger.rkt
+++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/actual-bigger.rkt
@@ -33,7 +33,3 @@
 (>= (send vpb1 get-aligned-min-height)
     (send vpb2 get-aligned-min-height)
     (snip-height es))
-
-(module+ test
-  (module config info
-    (define lock-name "gui")))
diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test-snip-lib.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test-snip-lib.rkt
index 899a7840..a1449dcb 100644
--- a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test-snip-lib.rkt
+++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test-snip-lib.rkt
@@ -126,7 +126,3 @@
   (send frame show #f))
 
 ;; (printf "tests done\n")
-
-(module+ test
-  (module config info
-    (define lock-name "gui")))
diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test.rkt
index 5e3da15e..087829fa 100644
--- a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test.rkt
+++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test.rkt
@@ -145,7 +145,3 @@
 
 (send frame show #f)
 (printf "done\n")
-
-(module+ test
-  (module config info
-    (define lock-name "gui")))
diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test2.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test2.rkt
index 2280a996..c804b657 100644
--- a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test2.rkt
+++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test2.rkt
@@ -112,7 +112,3 @@
 
 (send frame show #f)
 (printf "done\n")
-
-(module+ test
-  (module config info
-    (define lock-name "gui")))
diff --git a/pkgs/gui-pkgs/gui-test/framework/tests/main.rkt b/pkgs/gui-pkgs/gui-test/framework/tests/main.rkt
index 513f89ff..14e625d9 100644
--- a/pkgs/gui-pkgs/gui-test/framework/tests/main.rkt
+++ b/pkgs/gui-pkgs/gui-test/framework/tests/main.rkt
@@ -121,5 +121,4 @@
 
 (module+ test
   (module config info
-    (define lock-name "gui")
     (define timeout 360)))