More flexible packaging script.

[refind] / filesystems / Make.gnuefi

diff --git a/filesystems/Make.gnuefi b/filesystems/Make.gnuefi
index 9fb1676e785200137fa42f8d2987d652f742a1dd..6eab253332b6d5e79dd3fb168df5713cc2081bae 100644 (file)
--- a/filesystems/Make.gnuefi
+++ b/filesystems/Make.gnuefi
@@ -3,6 +3,11 @@
 # Build control file for the EFI drivers, as built with GNU-EFI
 #
 
+# This program is licensed under the terms of the GNU GPL, version 3,
+# or (at your option) any later version.
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
 SRCDIR = .
 
 VPATH = $(SRCDIR)
@@ -19,7 +24,7 @@ endif
 
 ifeq ($(ARCH),ia32)
   LIBEG = build32
-  ARCH_C_FLAGS = -m32 -malign-double
+  ARCH_C_FLAGS = -m32 
   FILENAME_CODE = ia32
   LD_CODE = elf_i386
 endif