From f6379989022c1e71017f4151392a300534d2007a Mon Sep 17 00:00:00 2001 From: 1138-4EB <1138-4EB@users.noreply.github.com> Date: Mon, 17 Jun 2019 07:57:59 +0200 Subject: fix: move src/xtools to python/xtools (#846) * fix: move src/xtools to python/xtools * fix Makefiles affected by xtools and pnodes being moved --- src/psl/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/psl') diff --git a/src/psl/Makefile b/src/psl/Makefile index 472a82b01..fdcfccaf7 100644 --- a/src/psl/Makefile +++ b/src/psl/Makefile @@ -20,7 +20,7 @@ # be committed and distribued with the sources, so that users don't need to # regenerate them (and don't need to have python installed). -PNODES=../xtools/pnodes.py +PNODES=../../python/xtools/pnodes.py DEPS=psl-nodes.ads psl-nodes.adb.in $(PNODES) -- cgit v1.2.3