* ext.c (exec_extension): Use "#! /bin/sh".

src/ChangeLog

@@ -1,3 +1,7 @@
+2002-02-21  Andrew V. Samoilov  <kai@cmail.ru>
+
+	* ext.c (exec_extension): Use "#! /bin/sh".
+
 2002-02-20  Pavel Roskin  <proski@gnu.org>
 
 	* background.c (background_attention): Cast pointer to long

src/ext.c

@@ -143,7 +143,7 @@ exec_extension (const char *filename, const char *data, char **drops, int *move_
 	return;
     }
     cmd_file = fdopen (cmd_file_fd, "w");
-    fputs ("#!/bin/sh\n", cmd_file);
+    fputs ("#! /bin/sh\n", cmd_file);
 
     prompt [0] = 0;
     for (;*data && *data != '\n'; data++){