X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Falloca;h=13d80dd9b4c8d97923a8bff7cddb3731ffcc93b6;hb=c784be7bb43801d115f163586ad94534dfa27845;hp=f93d5e3861ec23c057cdc475b218433a121fec11;hpb=899833c050abaceb2bda81e858c6ea013c4cfd74;p=pspp

diff --git a/modules/alloca b/modules/alloca
index f93d5e3861..13d80dd9b4 100644
--- a/modules/alloca
+++ b/modules/alloca
@@ -2,29 +2,20 @@ Description:
 Memory allocation on the stack.
 
 Files:
-lib/alloca_.h
 lib/alloca.c
-m4/alloca.m4
 
 Depends-on:
+alloca-opt
 
 configure.ac:
-gl_FUNC_ALLOCA
 
 Makefile.am:
-BUILT_SOURCES += $(ALLOCA_H)
-EXTRA_DIST += alloca_.h
-
-# We need the following in order to create an <alloca.h> when the system
-# doesn't have one that works with the given compiler.
-all-local $(lib_OBJECTS): $(ALLOCA_H)
-alloca.h: alloca_.h
-	cp $(srcdir)/alloca_.h $@-t
-	mv $@-t $@
-MOSTLYCLEANFILES += alloca.h alloca.h-t
 
 Include:
-#include <alloca.h>
+<alloca.h>
+
+License:
+public domain
 
 Maintainer:
 bug-gnulib@gnu.org