diff options
author | davidovski <david@davidovski.xyz> | 2022-06-09 14:35:52 +0100 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-06-09 14:35:52 +0100 |
commit | d1fc3393cca72e8e432f827f7624e38734fad6dc (patch) | |
tree | 7b971fbfc203ff017ad78852476bfcccee170971 /repo/xiutils/default-jvm.xibuild | |
parent | ccc722b7ed330198d82a3cf28ead76d6d107a70a (diff) |
moved firmware to separate pacakges
Diffstat (limited to 'repo/xiutils/default-jvm.xibuild')
-rw-r--r-- | repo/xiutils/default-jvm.xibuild | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/repo/xiutils/default-jvm.xibuild b/repo/xiutils/default-jvm.xibuild new file mode 100644 index 0000000..8bb173a --- /dev/null +++ b/repo/xiutils/default-jvm.xibuild @@ -0,0 +1,7 @@ +#!/bin/sh + +DESC="helperscript to select which jvm to use by default" + +package () { + make DESTDIR=$PKG_DEST install-default-jvm +} |