diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2011-12-31 20:53:17 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2011-12-31 20:53:17 +0200 |
| commit | ccb220159bbbc45aac0572c7ca1d3f0f2247d1f5 (patch) | |
| tree | d39f623592df67c6401604c8e31febac531e21d0 /profile_p.c | |
| parent | 2c8f64a8d56bcede9e1dd08859b3b235fc9bd40f (diff) | |
| download | egawk-ccb220159bbbc45aac0572c7ca1d3f0f2247d1f5.tar.gz egawk-ccb220159bbbc45aac0572c7ca1d3f0f2247d1f5.tar.bz2 egawk-ccb220159bbbc45aac0572c7ca1d3f0f2247d1f5.zip | |
Remove profile_p.c, no longer needed.
Diffstat (limited to 'profile_p.c')
| -rw-r--r-- | profile_p.c | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/profile_p.c b/profile_p.c deleted file mode 100644 index 97edd367..00000000 --- a/profile_p.c +++ /dev/null @@ -1,27 +0,0 @@ -/* - * profile_p.c - compile profile.c with profiling turned on. - */ - -/* - * Copyright (C) 2001 the Free Software Foundation, Inc. - * - * This file is part of GAWK, the GNU implementation of the - * AWK Programming Language. - * - * GAWK 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 3 of the License, or - * (at your option) any later version. - * - * GAWK 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 - */ - -#define PROFILING 1 -#include "profile.c" |