diff --git a/src/scratchpad/lib/dummy.txt b/src/scratchpad/lib/dummy.txt
new file mode 100644
index 0000000000..ee37f45196
--- /dev/null
+++ b/src/scratchpad/lib/dummy.txt
@@ -0,0 +1 @@
+Dummy file so this directory is not deleted by CVS.  It's required for the build.
\ No newline at end of file