From 4c7a2d2ad817e52f29942740d5f92a4232142ac5 Mon Sep 17 00:00:00 2001 From: Avimitin Date: Mon, 18 Nov 2024 16:41:15 +0800 Subject: [PATCH] [script] Allow user to specify local ELF Signed-off-by: Avimitin --- script/emu/src/Main.scala | 5 ----- 1 file changed, 5 deletions(-) diff --git a/script/emu/src/Main.scala b/script/emu/src/Main.scala index 370327af1..b97df65b1 100644 --- a/script/emu/src/Main.scala +++ b/script/emu/src/Main.scala @@ -105,10 +105,6 @@ object Main: userPath end prepareOutputDir - // naive case validation - def isValidCaseName(caseName: String): Boolean = - caseName.split("\\.").toSeq.length == 2 - def tryRestoreFromCache(key: String, value: Option[String]): Option[String] = val xdgDir = sys.env.get("XDG_CACHE_HOME") val homeDir = sys.env.get("HOME") @@ -181,7 +177,6 @@ object Main: ): Unit = if leftOver.value.isEmpty then Logger.fatal("No test case name") val caseName = leftOver.value.head - if !isValidCaseName(caseName) then Logger.fatal(s"invalid caseName '$caseName', expect 'A.B'") val finalIp = tryRestoreFromCache("ip", ip) if finalIp.isEmpty then