0

私の ant スクリプトの次の部分を見てください。

<tstamp>
    <format property="SHORT_DAY" pattern="d MMM yyyy"/>
    <format property="SHORT_DAY_FORMATTED" pattern="d MMM yyyy"/>
</tstamp>

<echo message="${SHORT_DAY}"/>
<echo message="${SHORT_DAY_FORMATTED}"/>

今日は 2013 年 1 月 4 日なので、出力は次のようになると思います。

 [echo] 4 Jan 2013
 [echo] 4 Jan, 2013

そうではありません。私が得るものは次のとおりです。

 [echo] 04 Jan 2013
 [echo] 4 Jan, 2013

最初のエコーの先頭の 0 に注意してください。何らかの理由で、ant は常に先頭にゼロを付けて出力します。2 つのプロパティの唯一の違いは、月と年の間にカンマがあることです。

これが何が起こっているのか、さらに重要なことに、先頭の 0 を停止する方法を知っている人はいますか?

Ant のバージョンは 1.7.0 です

4

1 に答える 1