]> git.ipfire.org Git - thirdparty/util-linux.git/commitdiff
exec_shell: add a license and touch up func def
authorMike Frysinger <vapier@gentoo.org>
Fri, 28 Jun 2013 00:05:18 +0000 (20:05 -0400)
committerKarel Zak <kzak@redhat.com>
Mon, 1 Jul 2013 09:46:13 +0000 (11:46 +0200)
When this file was created, the standard license header was missed.
Add it using the same one from unshare.c.

The noreturn attribute is not needed since we include the header
which has it on the prototype.

Signed-off-by: Mike Frysinger <vapier@gentoo.org>
lib/exec_shell.c

index 95620cd4d89940f8b39f7bce038091060854f98a..2b263644d11c773fe4d1f1580179ba511f50c86b 100644 (file)
@@ -1,3 +1,21 @@
+/*
+ * exec_shell() - launch a shell, else exit!
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the
+ * Free Software Foundation; either version 2, or (at your option) any
+ * later version.
+ *
+ * This program is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+ */
+
 #include <stdlib.h>
 #include <string.h>
 #include <unistd.h>
@@ -11,7 +29,8 @@
 
 #define DEFAULT_SHELL "/bin/sh"
 
-void __attribute__((__noreturn__)) exec_shell(void) {
+void exec_shell(void)
+{
        const char *shell = getenv("SHELL"), *shell_basename;
        char *arg0;
        if (!shell)