【问题标题】:Whats the meaning of 'time make' in linuxlinux中'time make'的含义是什么
【发布时间】:2011-09-19 02:16:47
【问题描述】:

我在android源代码中阅读了build/envsetup.sh,发现了一个命令 时间赚$@ 在功能毫米。 但我不知道它的含义。谁能帮帮我?

【问题讨论】:

    标签: android bash shell


    【解决方案1】:

    time 命令对以下命令进行计时并输出资源使用情况。

    make(通常)用于计算依赖关系和构建源代码。

    所以time make $@ 运行一个计时器,同时构建传入的任何参数 ($@)。

    在您的终端上输入man -s 1 timeman -s 1 make 将为您提供更多信息。

    【讨论】:

    • man time 很棘手,因为bash 有一个内置的time 命令。这意味着 bash 用户可以输入 help time 或进一步混淆!
    【解决方案2】:

    来自“时间”手册页:

    时间实用程序执行和时间实用程序。实用程序完成后, time 写入经过的总时间,系统开销消耗的时间, 以及对标准错误流执行实用程序所用的时间。时代 以秒为单位报告。

    所以它只是测量 ma​​ke 命令执行了多长时间。 $@ 表示所有传递的参数。

    【讨论】:

      猜你喜欢
      • 2011-05-30
      • 1970-01-01
      • 2019-05-02
      • 2010-11-29
      • 2012-06-12
      • 2018-02-15
      • 2014-07-08
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多