configs  Diff

Differences From Artifact [4af549aef5]:

To Artifact [c18d7ed950]:


274
275
276
277
278
279
280






281
282
283
284
285
286
287
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293







+
+
+
+
+
+







	}

	flveri() {
		rev="${1-current}"
		echo -e "\033[1m$rev\033[0m"
		fossil artifact "$rev" | gpg --verify
	}

	flunci() {
		fossil up previous && \
			fossil diff -N --checkin tip | patch -p0 && \
			fossil purge checkins tip
	}

	git2fl() {
		local gitdir=$(git rev-parse --show-toplevel)/.git
		local repo=$(fossil info | awk '/^repository:/ { print $2 }')

		[ -z "$repo" ] && repo="$1"

429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
435
436
437
438
439
440
441

442
443
444
445
446
447
448







-







			if [ -z "$amiga_gcc_path" ]; then
				echo "Please set amiga_gcc_path!" 1>&2
				return 1
			fi

			export PATH="$amiga_gcc_path/bin:$PATH"
			export cross_host="m68k-amigaos"
			export objfw_configure_flags="OBJC=m68k-amigaos-g++"
			;;
		ppc)
			if [ -z "$adtools_path" ]; then
				echo "Please set adtools_path!" 1>&2
				return 1
			fi