commit bash-20060316 snapshot

builtins/source.def

@@ -38,6 +38,7 @@ in $PATH are used to find the directory containing FILENAME.  If any
 ARGUMENTS are supplied, they become the positional parameters when
 FILENAME is executed.
 $END
+/* source.c - Implements the `.' and `source' builtins. */
 
 #include <config.h>
 
@@ -67,7 +68,9 @@ $END
 extern int errno;
 #endif /* !errno */
 
-static void maybe_pop_dollar_vars __P((void));
+#if defined (RESTRICTED_SHELL)
+extern int restricted;
+#endif
 
 /* If non-zero, `.' uses $PATH to look up the script to be sourced. */
 int source_uses_path = 1;