aboutsummaryrefslogtreecommitdiff
path: root/rpt.c
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-07 11:28:04 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-07 11:56:22 +0200
commit25246653f9b4a3208fe2288ee369c03cdb018704 (patch)
tree5e74382263c946cc00fa015a44b6e11ddbe25463 /rpt.c
parent1666fc55a5f695950c26e5c3d5e1c3c1ab6f6be5 (diff)
Switch to plain makefiles for buildingHEADv1.4master
Diffstat (limited to 'rpt.c')
-rw-r--r--rpt.c4
1 files changed, 1 insertions, 3 deletions
diff --git a/rpt.c b/rpt.c
index 27ae24c..b356814 100644
--- a/rpt.c
+++ b/rpt.c
@@ -14,8 +14,6 @@
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
-#include "config.h"
-
#include <errno.h>
#include <fcntl.h>
#include <limits.h>
@@ -73,7 +71,7 @@ print_help()
void
print_version()
{
- puts(VERSION);
+ puts(REPEAT_VERSION);
}
void