From 8035a4461cebcfc21aa8be8ef89c6e23c5444d5a Mon Sep 17 00:00:00 2001 From: Mort Yao Date: Mon, 18 Aug 2014 00:26:55 +0200 Subject: [PATCH] deprecate igawk in favor of gawk --- Makefile | 4 ++-- build.awk | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index ace9caa7..409c0102 100644 --- a/Makefile +++ b/Makefile @@ -11,10 +11,10 @@ INSTDIR = /usr/bin default: build clean: - @igawk -f build.awk clean + @gawk -f build.awk clean $(COMMAND): - @igawk -f build.awk build -target=$(TARGET) + @gawk -f build.awk build -target=$(TARGET) build: $(COMMAND) diff --git a/build.awk b/build.awk index c50c65d0..6fbce8d4 100755 --- a/build.awk +++ b/build.awk @@ -1,7 +1,7 @@ -#!/usr/bin/igawk -f +#!/usr/bin/gawk -f -@include include/Commons.awk -@include metainfo.awk +@include "include/Commons" +@include "metainfo" function init() { BuildPath = "build/"